Section: Dissemination

Teaching - Supervision - Juries

Teaching

• Master : Nataliia Bielova, Information Flow Security in Web Applications, 15 ETD, University of Pierre et Marie Curie, France

• Doctorat : Ilaria Castellani, Behavioral Types, 15H ETD, University of Florence, Italy

• Licence : Vincent Prunet, Algorithms and Data Structures, 80 ETD, L2, Lycée International de Valbonne Sophia Antipolis (within the scope of the national Inria action to promote early CS courses in all scientific curricula), France

• Master : Tamara Rezk, Web Application Security, 28H ETD, University of Nice Sophia Antipolis, France

• Master : Tamara Rezk, Proofs of Cryptography, 28H ETD, University of Nice Sophia Antipolis, France

• Master : Tamara Rezk, Information Flow Security in Web Applications, 15 ETD, University of Pierre et Marie Curie, France

• Master: Bernard Serpette, From Lambda-calculus and Pi-calculus to an Abstract Distributed Machine, 24H ETD, Escuela de Verano de Ciencias Informàticas, Rio Cuarto, Argentina

• Master: Manuel Serrano, Programming the Diffuse Web, 4,5h ETD, Ecole Normale Supérieure de Cachan, France

Supervision

• PhD : Johan Grande, Conception and Implementation of a modular concurrent programming language, University of Nice Sophia Antipolis, September 2015, Manuel Serrano and Gérard Boudol

• PhD in progress: Yoann Couillec, Langages de programmation et données ouvertes, University of Nice Sophia Antipolis, 1/10/2012, Manuel Serrano

• PhD in progress : Francis Doliére Some, Web Tracking Prevention, November 2015, Nataliia Bielova and Tamara Rezk

• PhD in progress : Colin Vidal, HipHop, September 2015, Manuel Serrano and Gérard Berry

• PFE master 2: Julien Chiramello, Décomposition en nombres premiers en informatique quantique, Tamara Rezk and Benjamin Grégoire

Juries

• Ilaria Castellani was a member of the “Comité de sélection” for a position of Maître de conférences at the University of Paris-Est Créteil (Paris 12).

• Ilaria Castellani was an examiner of the PhD thesis of Ioana Cristescu, Université Paris-Diderot (Paris 7).

• Tamara Rezk was an examiner of the PhD thesis of Marco Patrignani, KU Leuven University.

• Manuel Serrano was a member of a "comité de sélection" of UPMC (Paris 6).